藤田 博司『原始帰納的函数とアッカーマン函数』